Ham-alc
نویسندگان
چکیده
HAM-ALC: The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classifier which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semantic branching and a form of dependency-directed backtracking called backjumping (see [3]). Programming language: Common Lisp (compiled).
منابع مشابه
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
متن کاملRACE System Description
RACE [3] is a successor of HAM-ALC [5, 2]. Based on sound and complete algorithms RACE currently implements TBox and ABox reasoning for the description logic ALCNHR+ [4] that supports number restrictions, role hierarchies, and transitively closed roles. Note that this DL implies general concept inclusions as a language feature. RACE accepts TBoxes and ABoxes in the KRSS syntax with appropriate ...
متن کاملاثر استیل آل کارنیتین در جلوگیری از تحلیل نورونهای هیپوکمپ و جوانه زدن فیبرهای خزهای در مدل تجربی صرع گیجگاهی در موش صحرایی
Background & Aims : Temporal lobe epilepsy is due to structural and metabolic changes in hippocampus including marked degeneration of neurons. Considering some evidences on antiepileptic and neuroprotective activity of acetyl L carnitine (ALC), this study was undertaken to evaluate the preventive effect of ALC on structural changes in hippocampus in an experimental model of temporal lobe ep...
متن کاملEffect of epinephrine on alveolar liquid clearance in the rat.
Endogenous epinephrine has been found to increase alveolar liquid clearance (ALC) in several pulmonary edema models. In this study, we infused epinephrine intravenously for 1 h in anesthetized rats to produce plasma epinephrine concentrations commonly observed in this species under stressful conditions and measured ALC by mass balance. Epinephrine increased ALC from 31.5 +/- 3.2 to 48.9 +/- 1.1...
متن کاملReasoning in the presence of inconsistency through Preferential ALC
This paper presents an inconsistency tolerant semantics for the Description Logic ALC called Preferential ALC (p-ALC ). A p-ALC knowledge base is comprised of defeasible and non-defeasible axioms. The defeasible ABox and TBox are labelled with confidence weights that could reflect an axiom’s provenance. Entailment is defined through the notion of preferred interpretations which minimise the tot...
متن کامل